A Tutorial on (Co)Algebras and (Co)Induction